$P$ $\Leftarrow\!$ $Q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$Q$ $\Rightarrow$ $P$